差分隐私在双向异质频谱拍卖方案中的研究

基于双向异质频谱拍卖模型设计了具有隐私保护的频谱拍卖方案DPDA,在双向异质的频谱拍卖模型中,为了提高频谱拍卖的高效性和收益最大化,通常假设拍卖者是可信的,在此基础上的提交的所有买卖双方信息都将以明文状态提交给拍卖者,这将极大地增加了拍卖过程中个人隐私泄露的风险.DPDA方案有机结合了差分隐私机制和Diffie-Hellman算法使得该方案在原有模型的基础上达到了保护用户个人隐私的目的,并做了安全分析,证明了该方案的安全性,通过仿真实验结果表明该方案具有较好的频谱收益和隐私安全性.     

强嵌入在群作用下的遗传性质

有限生成群G粗拟作用在一个度量空间X上,如果X具有有限渐近维,且拟稳定子是可强嵌入的,则群G是可强嵌入的.     

2017—2019 年北京地区实验动物质量抽检结果分析

摘要:目的 比对分析 2017—2019 年北京地区实验动物微生物及遗传质量监测结果,为实验动物产业发展提供参考。 方法 按照国家和地方现行实验动物检测标准,对北京地区实验动物生产单位进行抽检,并发布检测报告。按照报告数据,对此阶段小鼠、大鼠、豚鼠、地鼠、兔、犬、猴和小型猪共 8 个品种的实验动物按照品种、等级、单位等进行分类,分析质量问题,并与 2014—2016 年同期实验动物质量比对,分析变化趋势。 结果 2017—2019 年分别抽检动物 144、131 和 135 批次,检出不合格批次分别为 30、15 和 17 批。 不合格主要因素为兔、犬及猪免疫不达标(20 批) ,病原感染 20 批,未发现遗传变异。 与 2014—2016 年同期相比,未检出遗传问题相同,免疫不达标状况好转,但病原感染出现上升。 结论 通过质量分析比对,能够为实验动物产业健康发展提供数据支持。     

基于Rietveld精修方法解析Bi2O3的原子热振动

三氧化二铋(Bi₂O₃)是氧离子导电体,为了获得它的原子热振动各向同性温度因子,对该粉末晶体进行X射线衍射实验,建立了晶体结构模型,利用Rietveld 精修方法的RIETAN-2000 程序对所得实验结果进行了晶体结构精修,通过最大熵方法(MEM)解析得到了粉末晶体的等高电子密度分布三维(3D) 和二维(2D)可视化图谱。结果表明,各原子Bi₍₁₎、Bi₍₂₎、O₍₁₎、O₍₂₎和O₍₃₎的原子热振动各向同性温度因子分别为0.004 938 nm²、0.004 174 nm²、0.007 344 nm²、0.007 462 nm²、和0.007 857 nm²,等高电子密度分布的可视化,进一步验证了晶体结构模型和原子位置的准确性,这些参数对研究晶体材料的热性质具有一定参考意义。     

陕西5种外来入侵植物新纪录

现报道陕西5种外来入侵植物新纪录,即北美车前(Plantago virginica L.)、细叶旱芹(Cyclospermum leptophyllum(Persoon)Sprague ex Britton&P.Wilson)、裂叶月见草(Oenothera laciniata Hill)、匙叶合冠鼠麴草(Gamochaeta pensylvanica(Willd.)Cabrera)以及柳叶马鞭草(Verbena bonariensis L.),凭证标本保存于陕西理工大学植物标本馆(HZTC).     

全球慢性肾病防治药物研究进展

 慢性肾病（chronic kidney disease，CKD）具有病因复杂、治疗难度大等特点，已成为全球性的公共卫生问题，其影响了全球约10%的人群，并可导致更高的心血管疾病和死亡的发生风险等。CKD防治的关键环节之一是阻止或延缓CKD进展。总结了CKD的流行病学、风险因素、研发投入和防治药物，以详细了解CKD的现状和防治新进展。     

基于层次分析法的科研单位学科服务评价模式

根据层次分析法的原理,结合科研单位学科服务的特点,构建了基于层次分析法的科研单位学科服务评价模式,包括人员素质、资源保障、环境保障、服务能力、制度保障5个一级指标以及16个二级指标,该评价模式能够全面反映科研单位学科服务的质量与水平,发现学科服务的优势和不足,有助于科研单位图书馆采取针对性的措施改进学科服务.     

新形势下科技人才培养评价体系应有新变化

 过去十几年来，中国在科技领域取得了有目共睹的成绩。但近几年间，国际关系的动荡对中国的科技工作提出了新的警示和要求。放眼未来，为实现建设世界科技强国的目标，中国的科技人才培养评价体系应有新变化：应服务于建立更为完善和独立的科学教育体系，在部分顶尖研究型大学与科研机构致力于打造国际化、全英文的教学科研环境，形成支持中国科学家更多参与国际科学交流活动的体制机制。相信这些提升中国科研“软实力”的举措会对中国科技领域的长期健康发展提供重要支持。     

微粒受介电泳效应的动力学建模和仿真

Velocity-Verlet或ODE算法分析微粒的运动特征，涉及的偏微分方程存在求解困难、运算量大和使用效率低的难点.采用COMSOL Multiphysics 5.3a有限元软件，通过AC/DC模块中的边界条件设定可快速求解Laplace方程，为介电泳力的求解提供先决条件.后期根据软件提供的粒子追踪模块，将介电泳力、斯托克斯拖曳力、排斥力和浮力内联进粒子追踪模块的应力参数表中，设定固定的时间步长和范围对介电泳芯片的粒子受力运动问题进行了仿真.结果表明，该方法可以有效模拟微粒受介电泳效应的运动行为，并且与Velocity-Verlet或ODE算法模拟结果相似，能有效降低计算程序的繁琐程度，提高动态模拟的人机可视化效果.     

模糊微分方程的反周期解

主要利用微分包含的方法得到模糊微分方程的反周期解的存在性结果，并给了一个例子说明主要结果的可行性.